<?php
if(isset($_SERVER['HTTP_ACCEPT_ENCODING']) && substr_count($_SERVER['HTTP_ACCEPT_ENCODING'], 'gzip'))
    ob_start('ob_gzhandler');
else
    ob_start();
require_once("_config.php");
require_once("_funciones.php");
session_name($nombre_sesion);
session_start();
$tiempo_exc = 600;
if(!isset($_SESSION["Nick"])) {
    redirige("login.php");
}
if ($_SESSION["Tiempo"] < time()) {
    //redirige("login.php");
}
else {
    $_SESSION["Tiempo"] = time()+$tiempo_exc;
}
?>